'mathworld subject general logic'